Operation is reversible and the whole area → subgroup